global USER : environment LOGNAME

if "$USER"=="marc" {
	global DIRLOG = "~/Dropbox/work/projects/MMO_prod/Results"
	global DIRLOG_ROB = "~/Dropbox/work/projects/MMO_prod/Results/Robustness"
	global DIRDO = "~/Dropbox/work/projects/MMO_prod/dofiles_replication"
	global DIRDATA = "~/Documents/MMO_pers"
	}
else {
	global DIRLOG = "~/Dropbox/MMO_prod/Results"
	global DIRLOG_ROB = "~/Dropbox/MMO_prod/Results/Robustness"
	global DIRDO = "~/Dropbox/MMO_prod/dofiles_replication"
	global DIRDATA = "~/Documents/Research/MMO_prod2014"
	global DIRDISK = "/volumes/seagate750"
	}

